finitely valued function

有限值函數